# major_version = 3
  # minor_version = 19
  # development_stage = 0x80 (release)
  # prerelease_version_level = 0
  # region_code = 0x0000 (United States)
  # version_number = 3.1.3
  # version_message = 3.1.3, © 1993-96, Aladdin Systems, Inc.